Design by contract

#	Item
231	PDF Document Add to Reading List Source URL: se.ethz.ch Language: English - Date: 2011-03-11 06:32:41 Logic in computer science Object-oriented programming Programming paradigms Postcondition Precondition Design by contract Eiffel Class invariant Assertion Software engineering Computer programming Computing
232	PDF Document Add to Reading List Source URL: cse.sjtu.edu.cn Language: English - Date: 2007-06-16 06:31:33 Aspect-oriented programming Aspect-oriented software development AspectJ Pointcut Join point Spring Framework Postcondition Design by contract Aspect Software development Software Computing
233	PDF Document Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-07-03 09:52:39 Data types Type theory Ada Design by contract Subroutine Postcondition Stack Monitor Enumerated type Software engineering Computing Computer programming